From 4439453b75d84909b88fa48f7f046b4d929c9cdf Mon Sep 17 00:00:00 2001 From: Bastien Nocera Date: Wed, 5 Feb 2014 10:34:44 +0100 Subject: [PATCH] widget: Fix margin-start and margin-end properties The margin-start and margin-end properties were incorrectly defined, so margins weren't respected for RTL languages. https://bugzilla.gnome.org/show_bug.cgi?id=723627 --- gtk/gtkwidget.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c index d9fd94769e..f1776fb6e9 100644 --- a/gtk/gtkwidget.c +++ b/gtk/gtkwidget.c @@ -1434,7 +1434,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS * Since: 3.12 */ g_object_class_install_property (gobject_class, - PROP_MARGIN_LEFT, + PROP_MARGIN_START, g_param_spec_int ("margin-start", P_("Margin on Start"), P_("Pixels of extra space on the start"), @@ -1455,7 +1455,7 @@ G_GNUC_END_IGNORE_DEPRECATIONS * Since: 3.12 */ g_object_class_install_property (gobject_class, - PROP_MARGIN_RIGHT, + PROP_MARGIN_END, g_param_spec_int ("margin-end", P_("Margin on End"), P_("Pixels of extra space on the end"), -- 2.30.2